$\forall$${\it the\_es}$:ES, $e$, ${\it e'}$:E. Dec($e$ $=$ ${\it e'}$)